English

中国传统文化对计算机技术的一大贡献

1999-01-27 来源:光明日报 本报记者 李凌己 我有话说

尽管这个系统所采用的数学理论来源于西方,但构造此系统的基本思想却是孔子的中庸哲学和佛教禅宗的认识论哲学。

在目前的计算机程序语言中,或多或少总有可为别人所利用的漏洞。

软件不是一个普通的高新技术,它是现代高新技术的要害,它关系到其他许多高新技术的发展。

记者近日在中科院采访时了解到,一项依靠中国传统文化思想指导,由我国的计算机科学与软件工程学专家主持开发的软件工程工具系统已获得重大进展,并进入全面应用开发阶段。这项成果就是由中国科学院软件研究所的唐稚松院士主持开发的XYZ系统。

取得重大进展的XYZ系统

XYZ系统是由一个时序逻辑语言XYZ/E,以及围绕这一语言的一组软件工程工具所组成的。XYZ/E既是一个时序逻辑系统,又是一个具有常见程序语言风格且可实际用于编程运行的程序语言。它的统一框架既能表示抽象规范,又能表示各种新的范型(如面向对象程序设计,可视图形程序设计,多媒体,分布式程序设计等),它的主要特征是能直接表示自动机状态转换机制,它是世界上第一个可执行的时序逻辑语言,并于1990年荣获国家自然科学奖一等奖。

时序逻辑是以色列的A.卜诺里(Pnueli)教授于八十年代创立的一套逻辑理论,1996年他为此获得计算机科学最高奖——图灵奖。唐稚松院士于1983年首次提出了结合时序逻辑语言与软件工程工具的支撑软件开发全过程的XYZ系统的设想,并以中国哲学思想为指导,对XYZ系统进行了艰苦而又深入的研究。时序逻辑的创立者A.卜诺里教授在看了唐先生的成果演示后说:“说实话,我过去一直认为你的野心太大,不可能成功,而这次参观了XYZ的演示后,我发现你已经成功了。”后来,卜诺里1997年去美国领取图灵奖前,专门给唐稚松写了一封信,信中说:“由于我一贯认为你是时序逻辑最有力,最热心的促进者之一,我完全相信,由于你使时序逻辑成为一个有深远影响的概念,这一荣誉(指图灵奖),你应该分享其中有意义的一部分。”

中国传统文化对计算机技术的一大贡献

1983年,唐稚松院士提出“时序逻辑语言XYZ/E的概念,可以成为软件开发过程的统一基础”,他的这个观点与当时世界计算机发展的主流方向相背离,令众多的西方理论家和科学家感到不解。但唐稚松院士却坚信这一发展方向的正确性,并且一干就是15年。唐稚松院士在回忆那一段经历时说:“回顾15年来XYZ系统的研制过程,深感到在科研工作中走与世界主流方向不一致的道路是多么艰难……XYZ系统之所以过去长时间难以为西方理论家所理解,从根本上说,是由于我们采用了一些我国传统哲学思想方法。”

一向重视XYZ系统哲学背景的日本软件工程协会主席岸田孝一先生,在《朝日新闻》(夕刊)上发表了一篇介绍XYZ系统的文章,较中肯地说出了其中的奥秘:“尽管系统所采用的数学理论来源于西方,但构造此系统的基本思想却是孔子的中庸哲学和佛教禅宗的认识论哲学。”“这是东方文明对于21世纪高新技术发展的一大贡献。”

应用前景广阔的XYZ系统

提到时序逻辑语言的应用前景,唐稚松院士给记者讲了两件事情:一是据闻在海湾战争开始时,伊拉克从国际市场上购买的软件系统突然瘫痪;另一件是最近在马来西亚召开的经合会首脑会议上,主席马哈蒂尔的全部发言录音突然从录音带上消失,而事后检查所有机器都正常。出现这种情况,主要是因为在目前的计算机程序语言中,或多或少总有可为别人所利用的漏洞。唐先生认为这是一个通信进程语义可组合性问题,对此,世界上还没有一种程序语言有理想的解决方案,但XYZ/E系统却能解决此问题。

唐先生说:“自90年代以来,美、日、英等工业发达国家几乎每年都将如何提高软件生产率,如何提高软件的可靠性与可维护性等问题,列为国家关键技术的首要问题,但始终未得到解决。即使近一二年来,全球炒得很热的Java语言也没有很好地解决这一问题。前几年,微软公司在英国剑桥大学投巨资设立研究机构,其主要想解决的也是这个问题,XYZ系统有一个方案可以解决这个问题。”

美国软件工程的先驱、前马里兰大学计算机科学系主任叶祖尧教授在评价XYZ系统时说:“我心中绝对相信唐的XYZ语言将是一次重大突破的基础……他的工作非常有创造性,而且有使软件生产率取得重大提高的实际应用前景。”

北京邮电大学计算机科学与技术学院院长艾波教授是较早应用XYZ/E系统的计算机专家,他们准备在电信领域大规模应用这一系统,在谈到XYZ/E的应用前景时,艾波教授认为:“从学术水平上看,XYZ系统是中国计算机界在国际上站得住脚的少数几个成果之一,有着广阔的应用前景,但还需要花大力气去开发推广。”

唐稚松院士的一点希望与一点遗憾

当记者问唐稚松院士在这么多年的研究中有何心得体会时,唐先生深情地说:“我想提醒我国青年同行,虽然我国在软件理论和软件技术方面,总的讲还比较落后,应该向先进国家的同行学习,但请注意,千万不要盲目追赶新潮,要以分析批判的态度对待他们的工作。国外的东西,肯定有不足之处可以改进,在某种条件下,由于过分自信,一叶障目,他们有可能在重大的方向性问题上,走上值得怀疑的道路。出现这种情况,很可能我们是旁观者清,因为我们所处的文化背景不同,思维方式各异,或许我们会比他们更容易找到正确的道路。”

在问到有何遗憾时,唐稚松院士说:“由于自己的精力和研究小组的人力限制,介绍时序逻辑程序设计与软件工程的英文专著,不知何时能出版,这对扩大XYZ系统在国际上的影响,是非常不利的。同时国内在XYZ系统上的应用开发工作还很不够。如果在这方面被国外超过,那是我最大的憾事。因为软件不是一个普通的高新技术,它是现代高新技术的要害,它关系到其他许多高新技术的发展。”

手机光明网

光明网版权所有

光明日报社概况 | 关于光明网 | 报网动态 | 联系我们 | 法律声明 | 光明网邮箱 | 网站地图

光明网版权所有